basic
\\[0ex]st\_anti\_sym($T$;$R$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$StAntiSym($T$;$x$,$y$.$R$($x$,$y$))